Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

Source URL: gpd.sip.ucm.es

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.soic.indiana.edu

SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce :

Source URL: www-circa.mcs.st-and.ac.uk

• Cross-platform software
• Functional languages
• Grid computing
• Symbolic computation
• Mathematica
• Composability
• Research Institute for Symbolic Computation
• Service-oriented architecture
• Maple
• Software
• Mathematical software
• Computing

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

Source URL: cristal.inria.fr

J. Symbolic Computation, 715–734 A Methodology for Granularity Based Control of Parallelism in Logic Programs† P. LOPEZ‡ , M. HERMENEGILDO‡ AND S. DEBRAY\ ‡

Source URL: clip.dia.fi.upm.es

Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2

Source URL: wstein.org

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: www.ccs.neu.edu

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Functional un|unparsing Kenichi Asai · Oleg Kiselyov · Chung-chieh Shan

Source URL: okmij.org

The purpose of the International Symposium on Symbolic Computation in Software Science SCSS is to promote research on theoretical and practical aspects of symbolic computation in software sciences. The symposium provides

Source URL: www.risc.jku.at